Without a way to create events, there is no point
in allowing gdk_display_put_event to be used from
the outside. And little good can come out of using
the other apis, so just make them all private.
gdk_display_flush
gdk_display_close
gdk_display_is_closed
-gdk_display_get_event
-gdk_display_peek_event
-gdk_display_put_event
-gdk_display_has_pending
gdk_display_is_rgba
gdk_display_is_composited
gdk_display_get_default_group
GDK_AVAILABLE_IN_ALL
gboolean gdk_display_supports_input_shapes (GdkDisplay *display);
-GDK_AVAILABLE_IN_ALL
-GdkEvent* gdk_display_get_event (GdkDisplay *display);
-GDK_AVAILABLE_IN_ALL
-GdkEvent* gdk_display_peek_event (GdkDisplay *display);
-GDK_AVAILABLE_IN_ALL
-void gdk_display_put_event (GdkDisplay *display,
- GdkEvent *event);
-GDK_AVAILABLE_IN_ALL
-gboolean gdk_display_has_pending (GdkDisplay *display);
-
GDK_AVAILABLE_IN_ALL
GdkDisplay *gdk_display_get_default (void);
void gdk_display_setting_changed (GdkDisplay *display,
const char *name);
+GdkEvent * gdk_display_get_event (GdkDisplay *display);
+GdkEvent * gdk_display_peek_event (GdkDisplay *display);
+void gdk_display_put_event (GdkDisplay *display,
+ GdkEvent *event);
+gboolean gdk_display_has_pending (GdkDisplay *display);
+
G_END_DECLS